Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
191	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
192	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics
193	Dynamic Proof Theories For Reasoning With Conditionals Christian Straßer and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-29 05:24:27 Conditionals Modal logic Deontic logic Logical connectives Philosophical logic Material conditional Strict conditional Logic Mathematical logic Propositional calculus
194	Constraining Credential Usage in Logic-Based Access Control Lujo Bauer Carnegie Mellon University Pittsburgh, PA, USA Email: Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Cut-elimination theorem Sequent calculus Mathematical proof Sequent Logic programming Credential Entailment Natural deduction Logic Proof theory Mathematics
195	The inconsistency of a Brouwerian continuity principle with the Curry–Howard interpretation Martín Hötzel Escardó1 and Chuangjie Xu1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-15 05:54:45 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Lambda calculus Intuitionistic type theory Constructible universe Mathematics Mathematical logic Theoretical computer science
196	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Software engineering Matita Lambda calculus Calculus of constructions Unification Type system Typed lambda calculus Recursion Proof assistant Type theory Mathematics Theoretical computer science
197	Midterm Due 21 October During proof search, we usually have lots of options. Therefore any way to guide the proof search and make some options “as good” as any other is going to be of some benefit. To show that two o Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-16 16:24:36 Entailment Logical consequence Metalogic Natural deduction Modular curve Logic Deduction Propositional calculus
198	Joint 25th RTA & 12th TLCA: CALL FOR PAPERS Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS July 14–17, 2014, Vien Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2014-07-30 07:52:05 Logic in computer science Type theory Proof theory Lambda calculus Formal methods International Conference on Rewriting Techniques and Applications Denotational semantics Federated Logic Conference Automated theorem proving Theoretical computer science Mathematics Applied mathematics
199	Midterm Due 21 October During proof search, we usually have lots of options. Therefore any way to guide the proof search and make some options “as good” as any other is going to be of some benefit. To show that two o Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-16 16:24:34 Entailment Logical consequence Metalogic Natural deduction Modular curve Logic Deduction Propositional calculus
200	Lecture Notes for LING419F Categorial and Type-Logical Grammar Darryl McAdams [removed] October 14, 2013 Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-10-14 16:44:41 Propositional calculus Non-classical logic Semantics Natural deduction Intuitionistic logic Negation Tautology Atomic formula Sequent calculus Logic Mathematical logic Proof theory

UPDATE